1. Computability and logic
پدیدآورنده: / George Boolos, Richard Jeffrey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursive functions,Logic, symbolic and mathematical
رده :
511
.
3
B724c
2. Computability and logic
پدیدآورنده: George Boolos, Richard Jeffrey
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع: Computable functions,Recursive functions
رده :
511
.
3
B724C
3. Computability and logic
پدیدآورنده: George Boolos, Richard Jeffrey,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
.
B66
9
.
59
1980
4. Logic, logic, and logic /
پدیدآورنده: George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic.
رده :
BC51
.
B58
1998
5. Logic, logic, and logic
پدیدآورنده: / George Boolos; with introductions and afterword by John P. Burgess; edited by Richard Jeffrey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic
رده :
160
B724L
1998
